Analyzing and Synthesizing Hybrid Control Systems
نویسنده
چکیده
Embedded systems possess a hybrid structure, combining continuous-variable dynamics and logical decision-making. We study such real-world hybrid control systems and introduce a mathematical model of them. Then, we develop tools for analyzing their stability. Finally, we review the theory of optimal hybrid control and present algorithms for synthesizing optimal hybrid control systems.
منابع مشابه
Control Design for Integrator Hybrid Systems
We define controllability for hybrid systems as the existence of correct control-laws that transfer the hybrid plant between pre-defined subsets of the hybrid state-space. A methodology for analyzing controllability and synthesizing control-laws for a class of hybrid systems, applicable expecially in batch control, is proposed. We use a framework consisting of a hybrid plant and a hybrid contro...
متن کاملReal-time Multi-agent Coordination Using DIADEM: Applications to Automobile and Submarine Control
abstract In this paper we discuss the real-time multi-agent coordination and control requirements of automobile and submarine systems. We illustrate the use of hybrid systems techniques for analyzing and synthesizing the control architectures and show how they can be implemented using the diadem system.
متن کاملA computational approach to synthesizing guards for hybrid systems
We propose a technique for synthesizing switching guards for hybrid systems to satisfy a given state-based safety constraint. Using techniques from sum of squares (SOS) optimization, we design guards defined by semialgebraic sets that trigger mode switches, and we guarantee that the synthesized switching policy does not allow Zeno executions. We demonstrate our approach on an example of switche...
متن کاملAnalyzing the Behavior of Hybrid Steel System of Tube in Tube with Bracing and Belt Truss
Nowadays, due to the escalation in construction of high-rise structures, the need for selecting a proper resistant structural system against earthquake and wind has increased significantly. These systems should show an optimized use of materials and should be presented as a hard and efficient structure. A good example of a high efficient system in high-rise buildings can be indicated is, the tu...
متن کاملSynthesizing Controllers for Hybrid Systems
A methodology for synthesizing control laws of hybrid systems is proposed using the hybrid automaton framework. The objective is to synthesize guards for making phase transitions to ensure that the system satisses global invariance over the whole state space. Classical analysis is used to derive a controller given the phases, transitions and global invariance of a hybrid system. The methodology...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996